61. Elements of finite model theory
پدیدآورنده : Libkin, Leonid.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Model theory
رده :
QA
9
.
7
.
L53
2004
62. Elements of finite model theory
پدیدآورنده : by Leonid Libkin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Model theory.
رده :
QA9
.
7
B954
2011
63. Elements of mathematical logic ; model theory
پدیدآورنده : Kreisel, Georg
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematical models
رده :
QA
9
.
K772
1971
64. Empirical model discovery and theory evaluation :
پدیدآورنده : David F. Hendry and Jurgen A. Doornik.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Econometrics-- Computer programs.,Econometrics-- Methodology.,BUSINESS & ECONOMICS-- Econometrics.,BUSINESS & ECONOMICS-- Economics-- General.,BUSINESS & ECONOMICS-- Reference.,Econometrics-- Computer programs.,Econometrics-- Methodology.
رده :
HB139
.
H454
2014eb
65. Essays in the Theory of Economic Regulation: A Variety Model for Economics and Law
پدیدآورنده : \ By Cosmo Kenningham Marchant
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
66. Explicit nonlinear model predictive control :theory and applications
پدیدآورنده : Grancharova, Alexandra Ivanova.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : ، Nonlinear control theory
رده :
TJ
217
.
6
.
G73
67. FINITE MODEL THEORY (1).
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
68. Finite and Algorithmic Model Theory
پدیدآورنده : / Esparza/Michaux/Steinhorn
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
69. Finite and algorithmic model theory
پدیدآورنده : / edited by Javier Esparza, Christian Michaux, Charles Steinhorn
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Finite model theory.,Computer science--Mathematics
رده :
QA
,
9
.
7
,.
F565
,
2011
70. Finite and algorithmic model theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Finite model theory. ;
71. Finite and algorithmic model theory
پدیدآورنده : edited by Javier Esparza, Christian Michaux, Charles Steinhorn
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Finite model theory,Mathematics ، Computer science
رده :
QA
9
.
7
.
F565
2011
72. Finite and algorithmic model theory
پدیدآورنده : edited by Javier Esparza, Christian Michaux, Charles Steinhorn
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Finite model theory,، Computer science -- Mathematics
رده :
QA
9
.
7
.
F562
73. Finite model theory
پدیدآورنده : Ebbinghaus, Heinz-Dieter, 9391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
E22F5
74. Finite model theory
پدیدآورنده : Ebbinghaus, Heinz-Dieter, 9391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
E22F5
2006
75. Finite model theory
پدیدآورنده : / Heinz-Dieter Ebbinghaus, Jeorg Flum
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Model theory.
رده :
QA
,
9
.
7
,.
E23
,
2005
76. Finite model theory
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Model theory
رده :
511
.
34
E15f
1999
77. Finite model theory
پدیدآورنده : Ebbinghaus, Heinz-Dieter
موضوع : ، Model theory
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
78. Finite model theory
پدیدآورنده : Ebbinghaus, Heinz-Dieter
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Model theory
رده :
QA
9
.
7
.
E23
1999
79. Finite model theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Model theory. ;
80. Finite model theory
پدیدآورنده : / Heinz-Dieter Ebbinghaus, Jorg Flum
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Model theory
رده :
QA9
.
7
.
E23
1999
